Wolfhart Zimmermann on the occasion of his 70 th birthday

A Proof-Theoretic Approach to the Static Analysis of Logic Programs

Dedicated to Peter Andrews on the occasion of his 70 th birthday.

Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday

A very French connection, a brief discourse in commemoration of life and services of the late Louis Pierre Joseph Delpy on his 120th birthday anniversary

Razi Vaccine and Serum Research Institute (RVSRI) turned 95 years old in 2015. Majority of the animal infectious diseases such as rinderpest and anthrax that used to frequently strike the historic Persia are now gone for good or under control owing to the pioneering researches conducted at the institute in the early-mid 20th century in the field of vaccine manufacturing. The earliest...

Abstract Data Types without the Types

Data Types without the Types Philip Wadler (Edinburgh University, Scotland [email protected]) Dedicated to David Turner on the occasion of his 70’th birthday Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.

Operator Product Expansion , Renormalization Group and Weak Decays ∗ Andrzej

A non-technical description of the Operator Product Expansion and Renormalization Group techniques as applied to weak decays of mesons is presented. We use this opportunity to summarize briefly the present status of the next-to-leading QCD corrections to weak decays and their implications for the unitarity triangle, the ratio ε/ε, the radiative decay B → Xsγ, and the rare decays K+ → π+νν̄ and K...